The last pair of brackets denotes what mathematicians call the empty set: it is a collection with no members, like the set of humans with 17 legs. Cặp cuối cùng của những dấu ngoặc xoắn biểu thị những gì những nhà toán học gọi là tập hợp rỗng: đó là một tập hợp không có thành viên nào, thí dụ như tập hợp của những người có 17 chân.
The curly brackets, by the way, indicate that we are dealing with sets of truth values rather than individual ones, as befits a relation rather than a function. Các dấu ngoặc xoắn, bằng cách này, chỉ ra rằng chúng ta đang đối phó với những tập hợp của giá trị chân lý hơn là những giá trị cá nhân, trong tư cách là một mối quan hệ chứ không phải là một chức năng.